101. Logical foundations of cyber-physical systems /
پدیدآورنده: André Platzer.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Autonomic computing.,Cooperating objects (Computer systems),Cybernetics.,Embedded computer systems.,Autonomic computing.,Cooperating objects (Computer systems),Cybernetics.,Embedded computer systems.
رده :
TJ213
.
P537
2018
102. Machine learning for computer and cyber security :
پدیدآورنده: editors, Brij B. Gupta, Michael Sheng.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Artificial intelligence.,Computer networks-- Security measures-- Data processing.,Computer security-- Data processing.,Machine learning.,Artificial intelligence.,COMPUTERS-- Database Management-- Data Mining.,COMPUTERS-- General.,COMPUTERS-- Machine Theory.,Machine learning.,MATHEMATICS-- Arithmetic.
رده :
TK5105
.
59
103. Machine learning for networking :
پدیدآورنده: Éric Renault, Paul Mühlethaler, Selma Boumerdassi (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Machine learning, Congresses.,Machine learning.
رده :
Q325
.
5
104. Mathematical Programming The State of the Art
پدیدآورنده: edited by Achim Bachem, Bernhard Korte, Martin Grötschel.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Combinatorics.,Computer science.,Discrete groups.,Economics.,Information theory.,Mathematical optimization.,Mathematics.
105. Mathematical and algorithmic foundations of the internet
پدیدآورنده: / Fabrizio Luccio, Linda Pagli, with Graham Steel
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: Internet--Mathematical models,World Wide Web--Mathematical models
رده :
TK5105
.
875
.
I57
,
L835
2011
106. Mathematical foundations of computer science 2013 :
پدیدآورنده: Krishnendu Chatterjee, Jirí Sgall, editors.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer programming -- Congresses.,Computer programming.,Computer science -- Mathematics -- Congresses.
رده :
QA76
.
9
.
M35
K757
9999
107. Mathematical modeling with multidisciplinary applications /
پدیدآورنده: edited by Xin-She Yang, School of Science and Technology, Middlesex University, United Kingdom, Mathematics and Scientific Computing, National Physical Laboratory, United Kingdom
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Differential equations,Mathematical models
رده :
QA371
.
M2934
2013
108. Mathematical principles of the Internet.
پدیدآورنده: Nirdosh Bhatnagar.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science-- Mathematics.,Internet-- Mathematical models.,Internetworking (Telecommunication)-- Mathematics.,Computer science-- Mathematics.,COMPUTERS / Computer Literacy.,COMPUTERS / Computer Science.,COMPUTERS / Data Processing.,COMPUTERS / Hardware / General.,COMPUTERS / Information Technology.,COMPUTERS / Information Theory,COMPUTERS / Machine Theory.,COMPUTERS / Reference.,Internet-- Mathematical models.,MATHEMATICS / General,MATHEMATICS / Number Systems
رده :
TK5102
.
83
109. Mathematics and Computer Science III
پدیدآورنده: edited by Michael Drmota, Philippe Flajolet, Danièle Gardy, Bernhard Gittenberger.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Combinatorics.,Computer science.,Distribution (Probability theory).,Mathematics.,Visualization.
110. Minimax and Applications
پدیدآورنده: edited by Ding-Zhu Du, Panos M. Pardalos.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Algorithms.,Computational complexity.,Computer science-- Mathematics.,Mathematics.
111. Mining lurkers in online social networks :
پدیدآورنده: Andrea Tagarelli, Roberto Interdonato.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Data mining.,Online social networks.,Computer networking & communications.,COMPUTERS-- General.,Data mining.,Network hardware.,Online social networks.,Society & social sciences.
رده :
QA76
.
9
.
D343
112. More than words :
پدیدآورنده: Salgado, Mauricio
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع:
113. Network optimization and control /
پدیدآورنده: Srinivas Shakkottai, R. Srikant.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Data transmission systems-- Management.,Internet-- Management.,Resource allocation.,Telecommunication-- Traffic.,Wireless communication systems-- Management.,COMPUTERS-- Data Transmission Systems-- General.,COMPUTERS-- Networking-- Vendor Specific.,Data transmission systems-- Management.,Internet-- Management.,Resource allocation.,Telecommunication-- Traffic.,Wireless communication systems-- Management.
رده :
TK5105
.
S52
2008eb
114. Neural information processing :
پدیدآورنده: Tingwen Huang ... [et al.] (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Artificial intelligence.,Computer science.,Data mining.
115. Neuro-fuzzy and soft computing :
پدیدآورنده: Jyh-Shing Roger Jang, Chuen-Tsai Sun, Eiji Mizutani
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Fuzzy systems,Neural networks (Computer science),Soft computing,Fuzzy Logic,Neural Networks (Computer)
رده :
QA76
.
9
.
S63
J36
1997
116. Nonsmooth Approach to Optimization Problems with Equilibrium Constraints
پدیدآورنده: by Jiři Outrata, Michal Kočvara, Jochem Zowe.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Mathematical optimization.,Mathematics.,Operations research.
117. Number, shape, and symmetry :
پدیدآورنده: Diane L. Herrmann, Paul J. Sally, Jr
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Geometry, Textbooks,Number theory, Textbooks
118. Operations Research '93 :
پدیدآورنده:
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع:
رده :
HD30
.
23
O647
1994
119. Operations Research and Discrete Analysis
پدیدآورنده: by Alekseĭ D. Korshunov.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Combinatorics.,Computational complexity.,Information theory.,Mathematical optimization.,Mathematics.
120. Operations Research in Production Planning and Control :
پدیدآورنده: edited by Günter Fandel, Thomas Gulledge, Albert Jones.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Mathematics.,Operations research.
رده :
TS157
.
E358
1993
